991![Iterated Belief Change: A Transition System Approach Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca Iterated Belief Change: A Transition System Approach Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca](https://www.pdfsearch.io/img/af5c84cf6689f488b90db6875887793f.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2005-06-15 17:27:45
|
---|
992![25th Anniversary Issue Reconsiderations Nils J. Nilsson ■ In 1983, I gave the AAAI president’s address titled 25th Anniversary Issue Reconsiderations Nils J. Nilsson ■ In 1983, I gave the AAAI president’s address titled](https://www.pdfsearch.io/img/6e077b67d013963d919019eda7888d8b.jpg) | Add to Reading ListSource URL: ai.stanford.eduLanguage: English - Date: 2006-02-23 13:22:58
|
---|
993![Scheduling Sport Tournaments using Constraint Logic Programming Andrea Schaerf Dipartimento di Informatica e Sistemistica Universit` a di Roma “La Sapienza” Scheduling Sport Tournaments using Constraint Logic Programming Andrea Schaerf Dipartimento di Informatica e Sistemistica Universit` a di Roma “La Sapienza”](https://www.pdfsearch.io/img/ac2da6a1ca7d3fe896a934ebe7243102.jpg) | Add to Reading ListSource URL: www.diegm.uniud.itLanguage: English - Date: 2008-12-11 12:42:14
|
---|
994![В издательстве «Физматлит» в 2004 г В издательстве «Физматлит» в 2004 г](https://www.pdfsearch.io/img/3ebf6b5ca4576a7cc1ba5c38b2b69609.jpg) | Add to Reading ListSource URL: raai.orgLanguage: English - Date: 2004-01-22 06:29:02
|
---|
995![TESLA: Temporally Enhanced System Logic Assertions Jonathan Anderson Robert N. M. Watson David Chisnall Khilan Gudka Ilias Marinos Brooks Davis TESLA: Temporally Enhanced System Logic Assertions Jonathan Anderson Robert N. M. Watson David Chisnall Khilan Gudka Ilias Marinos Brooks Davis](https://www.pdfsearch.io/img/db21ee4fe936ffce93bc66b18c764b26.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2014-04-15 11:46:35
|
---|
996![Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift](https://www.pdfsearch.io/img/16822dd2c0ab8d4172351359aaf050cc.jpg) | Add to Reading ListSource URL: silk.semwebcentral.orgLanguage: English - Date: 2013-04-09 22:34:32
|
---|
997![Craziness and Metasemantics Craziness and Metasemantics](https://www.pdfsearch.io/img/c25a3638a9ec0a15bf630b3a9707eb7c.jpg) | Add to Reading ListSource URL: www.philosophy.ox.ac.ukLanguage: English - Date: 2008-02-04 11:49:33
|
---|
998![Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3](https://www.pdfsearch.io/img/371a8916b67734af2ed19a4c9fc7890f.jpg) | Add to Reading ListSource URL: www.clip.dia.fi.upm.esLanguage: English - Date: 2006-07-05 14:23:02
|
---|
999![Secure Context-sensitive Authorization Kazuhiro Minami and David Kotz Department of Computer Science, Dartmouth College {minami, dfk}@cs.dartmouth.edu Abstract Secure Context-sensitive Authorization Kazuhiro Minami and David Kotz Department of Computer Science, Dartmouth College {minami, dfk}@cs.dartmouth.edu Abstract](https://www.pdfsearch.io/img/c9bb31a31d80e37ff4d81f2c820652ef.jpg) | Add to Reading ListSource URL: systemsresilience.orgLanguage: English - Date: 2013-01-05 00:32:20
|
---|
1000![Journal of Artificial Intelligence Research304 Submitted 7/10; published 1/11 Iterated Belief Change Due to Actions and Observations Aaron Hunter Journal of Artificial Intelligence Research304 Submitted 7/10; published 1/11 Iterated Belief Change Due to Actions and Observations Aaron Hunter](https://www.pdfsearch.io/img/30ebebfe6a998f847a51594dd0ec1a42.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2012-08-16 12:29:00
|
---|